#ifndef _I_8258_H
#define _I_8258_H

void pic_init(void);
void init_idt();
void keybd_handler();

#endif
